The π-Calculus: A theory of mobile processes
نویسنده
چکیده
Quelli che s'innamoran di pratica sanza scientia son come 'l nocchiere ch'entra in navilio sanza timone o bussola, che mai ha certezza dove si vada.
منابع مشابه
The Pi-Calculus - a theory of mobile processes
As known, adventure and experience about lesson, entertainment, and knowledge can be gained by only reading a book. Even it is not directly done, you can know more about this life, about the world. We offer you this proper and easy way to gain those all. We offer many book collections from fictions to science at all. One of them is this the pi calculus a theory of mobile processes that can be y...
متن کاملBisimulations for Asynchronous Mobile Processes
Within the past few years there has been renewed interest in the study of value-passing process calculi as a consequence of the emergence of the π-calculus. Here, [MPW89] have determined two variants of the notion of bisimulation, late and early bisimilarity. Most recently [San93] has proposed the new notion of open bisimulation equivalence. In this paper we consider Plain LAL, a mobile process...
متن کاملPresheaf Models for the π-Calculus
Recent work has shown that presheaf categories provide a general model of concurrency, with an inbuilt notion of bisimulation based on open maps. Here it is shown how this approach can also handle systems where the language of actions may change dynamically as a process evolves. The example is the π-calculus, a calculus for ‘mobile processes’ whose communication topology varies as channels are ...
متن کاملImplementing the p-Calculus in Java
Mobile communicating systems are ubiquitous in the modern world. The π-calculus proposed by Milner et al [Milner et al. 1992] sets a theoretical foundation for modeling mobile communicating systems such as the Internet, in which links can be sent from processes to processes and a process can use a received link to interact with another process. Here, we present a language named π-language for p...
متن کاملReview of The π - calculus : A Theory of Mobile Processes ∗
With the rise of computer networks in the past decades, the spread of distributed applications with components across multiple machines, and with new notions such as mobile code, there has been a need for formal methods to model and reason about concurrency and mobility. The study of sequential computations has been based on notions such as Turing machines, recursive functions, the λ-calculus, ...
متن کاملA Nonlinear Creep-damage Constitutive Model of Mudstone Based on the Fractional Calculus Theory
During the flood development in an oil field, the creep characteristic of mudstone is one of the important factors causing casing damage. In this study, based on the theory of fractional order differential and taking into account the creep damage evolution rules, a fractional nonlinear creep-damage model is proposed to reflect the instantaneous deformation in loading processes and the accelerat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Scalable Computing: Practice and Experience
دوره 9 شماره
صفحات -
تاریخ انتشار 2008